Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
331	A Bayesian Method for Robust Estimation of Distributional Similarities Jun’ichi Kazama Stijn De Saeger Kow Kuroda Masaki Murata† Kentaro Torisawa Language Infrastructure Group, MASTAR Project National Institute of In Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-07-05 10:42:37 Semantic similarity Entailment Valuation Logic Computational linguistics Deduction
332	91 Intelligenza Artificiale[removed]–100 DOI[removed]IA[removed]IOS Press Add to Reading List Source URL: wwwusers.di.uniroma1.it Language: English - Date: 2013-12-08 03:14:46 Semantics Natural language processing Logic Logical consequence Knowledge representation SemEval Word-sense disambiguation Textual entailment WordNet Computational linguistics Linguistics Science
333	The Ackermann Award 2014 Anuj Dawar Chairman of the Jury of the EACSL Ackermann Award [removed] Abstract Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2014-08-15 17:26:59 Mathematics Computational complexity theory Time complexity Circuit complexity First-order logic L Algorithm FO Structure Theoretical computer science Applied mathematics Complexity classes
334	March 8, [removed]:1 WSPC/INSTRUCTION FILE Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2011-03-29 05:21:31 Algorithm Mathematical logic PP Distributed computing Chernoff bound NP Fault-tolerant computer systems Theoretical computer science Computational complexity theory Applied mathematics
335	Computational Historiography: Data Mining in a Century of Classics Journals David Mimno More than a century of modern Classical scholarship has created a vast archive of journal publications that is now becoming availabl Add to Reading List Source URL: www.perseus.tufts.edu Language: English - Date: 2011-06-15 11:14:26 Natural language processing Artificial intelligence Information retrieval Topic model Formal sciences ACM Transactions on Computational Logic Latent Dirichlet allocation Latent semantic analysis Computational linguistics Statistical natural language processing Statistics Science
336	Minimally Supervised Method for Multilingual Paraphrase Extraction from Definition Sentences on the Web Yulan Yan∗ Chikara Hashimoto‡ Kentaro Torisawa§ Takao Kawai¶ Jun’ichi Kazamak Stijn De Saeger∗∗ ∗ ‡ Add to Reading List Source URL: aclweb.org Language: English - Date: 2013-05-18 12:41:37 Mathematical logic Logical syntax Metalogic Computational linguistics Philosophical logic Sentence Part-of-speech tagging Natural language processing Recursion Logic Linguistics Science
337	Lecture Notes CMSC 251 CMSC 251: Algorithms1 Spring 1998 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-08-31 10:32:36 Analysis of algorithms Computational complexity theory Mathematical notation Algorithm Mathematical logic Selection algorithm Summation Time complexity Big O notation Theoretical computer science Mathematics Applied mathematics
338	A Look inside the Distributionally Similar Terms Kow Kuroda [removed] Jun’ichi Kazama [removed] Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-08-22 02:41:25 Statistics Semantics Cognitive science Hyponymy WordNet Distributional hypothesis Cluster analysis Semantic similarity Modal logic Linguistics Science Computational linguistics
339	Diachronic semantics of the modal verb -sóból- in Luganda: A corpus-driven approach Add to Reading List Source URL: tshwanedje.com Language: English - Date: 2014-07-19 13:14:24 Discourse analysis Applied linguistics Computational linguistics Linguistic modality Epistemic modality Modal verb Modal logic Text corpus Bantu languages Linguistics Grammatical moods Semantics
340	Parameterised Electromagnetic Scattering Solutions for a Range of Incident Wave Angles P.D. Ledger∗1 , J. Peraire† , K. Morgan∗ , O. Hassan∗ & N.P. Weatherill∗ ∗ Civil and Computational Engineering Centre, U Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2005-08-31 10:34:58 Calculus Euclidean plane geometry Golden ratio Trigonometric functions Polar coordinate system Curvilinear coordinates Wave equation Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Mathematics Coordinate systems

UPDATE